#include<stdio.h>

int main()
{
    int a, b;
    scanf("%d %d", &a, &b);
    int num = 0;
    if (a / 2 >= b)
    {
        num = a + b;
    }
    else
    {
        num = a + a / 2;
    }

    printf("%d", num);
    return 0;
}